Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

LOGIS

• Title: Logical and Formal Methods for Information Security

• Inria principal investigator: Konstantinos Chatzikokolakis

• International Partners:

  • Mitsuhiro Okada, Keio University (Japan)

  • Yusuke Kawamoto, AIST (Japan)

  • Tachio Terauchi, JAIST (Japan)

  • Masami Hagiya, University of Tokyo (Japan)

• Start year: January 2016 - December 2018

• URL: http://www.lix.polytechnique.fr/~kostas/projects/logis/

• Abstract: The project aims at integrating the logical / formal approaches to verify security protocols with (A) complexity theory and (B) information theory. The first direction aims at establishing the foundations of logical verification for security in the computational sense, with the ultimate goal of automatically finding attacks that probabilistic polynomial-time adversaries can carry out on protocols. The second direction aims at developing frameworks and techniques for evaluating and reducing information leakage caused by adaptive attackers.

Participation in International Programs

CLASSIC

• Program: Colciencias - Conv. 712.

• Project acronym: CLASSIC.

• Project title: Concurrency, Logic and Algebra for Social and Spatial Interactive Computation.

• Duration: Oct 2016 - Oct 2019.

• URL: http://goo.gl/Gv6Lij

• Coordinator: Camilo Rueda, Universidad Javeriana de Cali, Colombia.

• Other PI's and partner institutions: Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil and Frank Valencia, CNRS-LIX and Inria Saclay.

• Abstract: This project will advance the state of the art of domains such as mathematical logic, order theory and concurrency for reasoning about spatial and epistemic behaviour in multi-agent systems..

EPIC

• Program: STIC-Amsud.

• Project acronym: EPIC.

• Project title: EPistemic Interactive Concurrency/

• Duration: Oct 2016 - Oct 2018.

• URL: https://sites.google.com/site/sticamsudepic/

• Coordinator: Frank Valencia, CNRS-LIX and Inria Saclay.

• Other PI's and partner institutions: Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil and Camilo Rueda, Universidad Javeriana de Cali, Colombia.

• Abstract: The aim of the project is to coherently combine and advance the state of the art of domains such as concurrency theory, information theory and rewriting systems for reasoning about social networks.

FACTS

• Program: ECOS NORD.

• Project acronym: FACTS.

• Project title: Foundational Approach to Cognition in Today?s Society.

• Duration: Jan 1 2019 - Dec 31, 2021.

• URL: https://goo.gl/zVhg32

• Coordinator: Frank Valencia, Ecole Polytechnique.

• Other PI's and partner institutions: Jean-Gabriel Ganascia LIP6, Sorbonne University and Camilo Rueda, Universidad Javeriana de Cali, Colombia.

• Abstract: This projects aims at studying the phenomenon of “Group Polarization”; the tendency for a group to learn or acquire beliefs or to make decisions that are more extreme than the initial inclinations of its members.

Inria International Partners

PriDat

• Project title: Privacy-Friendly Data Analytics

• Funded by: Siebel Energy Institute

• Duration: September 2018 - August 2019

• Coordinator: Catuscia Palamidessi, Inria Saclay, EPI Comète

• Other PI's: Giovanni Cherubin, EPFL, Switzerland. Moreno Falaschi, University of Siena, Italy. Mario Ferreira, Federal University of Minas Gerais, Brazil.

• Abstract: The objective of this project is to develop methodologies for protecting the privacy of individuals while letting their data be collected and used for analytical purposes.

Informal International Partners

• Geoffrey Smith, Florida International University, USA

• Carroll Morgan, NICTA , Australia

• Annabelle McIver, Maquarie University, Australia

• Mario Ferreira Alvim Junior, Assistant Professor, Federal University of Minas Gerais, Brazil

• Camilo Rueda, Professor, Universidad Javeriana de Cali, Colombia

• Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil

• Camilo Rocha, Associate Professor, Universidad Javeriana de Cali, Colombia